Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
real-time systems
1
model-checking
1 ?
 21,213,375 websites (safe search)

  1. UPPAAL

    UPPAAL is an integrated tool environment for modeling, validation and verification of real-time system modeled as networks of timed automata, extended with data ...
    Simulation2
    Modelling2
    Verification2
    Real-Time Systems1
    Model-Checking1
    Timed Automata0

    www.uppaal.com - 2009-02-04

software7 laboratory2 linux5 embedded systems2 employment4 windows5 application3 radius31 automation3 check3 embedded2 inspection3 unix3 industrial4 thin-client1 testing3 verification2 control3 test3 credit4 open source4 engineering4

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.